$i$ $\geq$ $j$  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$j$ $\leq$ $i$